| d | ρ | Label | ID | ||
|---|---|---|---|---|---|
| C3:S3xC22xC6 | 144 | C3:S3xC2^2xC6 | 432,773 |
| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|---|---|---|---|---|
| C3:S3:(C22xC6) = C23xC32:C6 | φ: C22xC6/C23 → C3 ⊆ Out C3:S3 | 72 | C3:S3:(C2^2xC6) | 432,558 | |
| C3:S3:2(C22xC6) = S32xC2xC6 | φ: C22xC6/C2xC6 → C2 ⊆ Out C3:S3 | 48 | C3:S3:2(C2^2xC6) | 432,767 |
| extension | φ:Q→Out N | d | ρ | Label | ID |
|---|---|---|---|---|---|
| C3:S3.1(C22xC6) = C6xS3wrC2 | φ: C22xC6/C6 → C22 ⊆ Out C3:S3 | 24 | 4 | C3:S3.1(C2^2xC6) | 432,754 |
| C3:S3.2(C22xC6) = C6xPSU3(F2) | φ: C22xC6/C6 → C22 ⊆ Out C3:S3 | 48 | 8 | C3:S3.2(C2^2xC6) | 432,757 |
| C3:S3.3(C22xC6) = C2xC6xC32:C4 | φ: C22xC6/C2xC6 → C2 ⊆ Out C3:S3 | 48 | C3:S3.3(C2^2xC6) | 432,765 |